case $b$ of inl($x$) =$>$ $s$($x$) $\mid$ inr($y$) =$>$ $t$($y$) \textbf{is Primitive}